explain the function strlen() with example